PENNY : A Programming Language and Compiler for the Context
نویسندگان
چکیده
In this Thesis, I designed and implemented a programming language and compiler for use under the COntext INterchange Architecture, mint. The language, known as penny, was born from coinl, a deductive object-oriented language originally used to program under the mint architecture. This new language boasts a new look and feel to provide a greater abstraction and minimize the complexity for the user. Furthermore, a compiler has been implemented which uses penny as its source language and datalog with negation as its destination language. Two existing applications have been re-coded in penny to demonstrate the language's ease of use and the compiler's capabilities. Thesis Supervisor: Michael D. Siegel Title: Principal Research Scientist, Sloan School of Management
منابع مشابه
PENNY: A Programming Language and Compiler for the Context Interchange Project
In this Thesis, I designed and implemented a programming language and compiler for use under the COntext INterchange Architecture, MINT. The language, known as PENNY, was born from COINL, a deductive object-oriented language originally used to program under the MINT architecture. This new language boasts a new look and feel to provide a greater abstraction and minimize the complexity for the us...
متن کاملA Formulation of Deterministic Bottom - UpParsing and Parser Generation In
This paper addresses eecient parsing in the context of logical inference for the purpose of using logic programming languages in compiler writing. A bottom-up, deterministic parsing mechanism is formulated for \bounded right context" grammars, a subclass of LR(k) grammars with characteristics amenable to declarative parser speciica-tion. A working parser generator for a logic programming langua...
متن کاملContextJ: Context-oriented Programming with Java
Context-oriented programming (COP) allows for the modularization of context-dependent behavioral variations. So far, COP has been implemented for dynamically-typed languages such as Lisp, Smalltalk, Python, and Ruby relying on reflection mechanisms, and for the statically-typed programming language Java based on a library and a pre-processor. ContextJ is our COP implementation for Java. It prop...
متن کاملAnnotated Bibiliography of Scientific Code Automation
Analysa [2] combined efficiency and expressiveness by using a functional programming language (AlScheme) as a scripting language which linked with C, C++ and Fortran code for efficiency. The Broadway compiler [18] supports domain-specific compiler optimizations. It provides compiler support for a wide range of domains and in the context of existing programming languages using a technique called...
متن کامل15–212: Fundamental Structures of Computer Science II Some Notes on Interpreters
Specifications are an indispensible part of software development. They explain what must be implemented without necessarily saying how. Depending of the nature of the problem domain, specifications may range from incomplete, natural language descriptions to mathematically precise formulations of the functionality to be implemented. Much of the task of software engineering is to decompose a larg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997